#include <io.h>

int sys_write_console(char *buffer,int size)
{
	//printk("I am sys_write_console!\n");
	int i = 0;
	 for(i=0;i<size;i++)
	 {
		 printc(buffer[i]);
	 }
	 return i;
}
